--- provide utility function 'lift' for 'Monad' transformers
package frege.control.monad.trans.MonadTrans where

class MonadTrans t where
    --- Lift a computation from the argument monad to the constructed monad.
    lift :: Monad m => m a -> t m a
